\begin{tabbing}
$M_{1}$ $\oplus$ $M_{2}$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma\{\=$M_{1}$.1 $\oplus$ $M_{2}$.1;\+
\\[0ex]($M_{1}$.2).1 $\oplus$ ($M_{2}$.2).1;
\\[0ex]($M_{1}$.2.2).1 $\oplus$ ($M_{2}$.2.2).1;
\\[0ex]($M_{1}$.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2.2.2.2.2.2).1;
\\[0ex]($M_{1}$.2.2.2.2.2.2.2.2.2.2.2).1 $\oplus$ ($M_{2}$.2.2.2.2.2.2.2.2.2.2.2).1\}
\-
\end{tabbing}